2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Автор:
International Symposium of Formal Methods
, Автор:
Maurice Naftalin
, Автор:
Tim Denvir
, Автор:
Miquel Bertran
Размер книги: 6.41 Mb
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, ...
Автор:
Miquel Bertran
, Автор:
Teodor Rus
Размер книги: 4.33 Mb
